基于LPC3250的小型无人机航姿系统的设计

航向和姿态是无人机飞行控制系统的重要参数,传感器系统是整个无人机飞行控制系统的核心。采用LPC3250ARM9处理器、MEMS传感器以及存储器设计无人机航姿系统,完成传感器的数据采集与处理,获得无人机的航姿信息,最后进行数据传输。将Linux操作系统嵌入到无人机航姿系统中,实现系统的实时任务调度和进程管理。结果显示,该系统达到了无人机航姿系统的小型化、低功耗、高精度的目标。     

方位偏差在多方位—初距法解算目标运动中的应用

多方位—初距法是潜艇解算目标运动要素的常用方法之一,所提供的估计初始距离的准确程序直接影响解算的可信度。为了及时评判估计初始距离的准确程度,引入方位偏差的概念,作为潜艇指挥员修正估计初始距离的重要依据。方位偏差是利用部分方位序列解算目标运动要素,根据解算结果推算当前目标方位,与当前实测目标方位相比较的结果。利用估计初始距离与真实初始距离差异性反映到方位偏差的变化规律,可以迅速有效地调整估计初始距离,使解算过程快速收敛到理想解。     

指挥控制系统网络动态抗毁性

为研究指挥控制系统网络的动态抗毁性,建立了指挥控制系统的多Agent复杂网络抗毁性模型。在模型中,将系统中的每个作战单元看作一个具有自修复能力的Agent;在重点攻击和随机攻击的基础上提出了一种基于攻击力度指数的攻击策略;引入了网络整体效率,并在此基础上提出了一种网络动态抗毁性的度量方法。最后利用仿真的方法对指挥控制系统的抗毁性进行了研究,仿真结果表明网络节点的自修复能力对于网络保持其性能的时间的长短具有很大影响,对提高指挥与控制系统的抗毁性具有一定的参考价值。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

过航点舰载弹炮结合武器系统发射判定模型

针对基于过航点对弹炮结合武器系统进行火力分配中未求解过航点坐标和未考虑毁伤概率等因素,以及基于勾径点模型对弹炮结合武器进行火力分配方法过于简化、未充分考虑武器系统火力防区对弹炮发射判定的影响等问题,建立基于过航点的弹炮发射判定模型,提出了基于过航点的弹炮结合武器发射判定问题的解决方案,经仿真分析,与上两种算法对比,具有一定的改进。     

作战系统指控协同效能的影响因素分析

作战系统日益复杂化和网络化,使得作战系统指控协同成为世界各国研究的热点问题。在对作战系统指控协同特点和影响要素分析的基础之上,从指控的信息质量、协同主体决策能力、协同时间、协同结构4个方面对协同效能的影响进行了分析,得出了一些结论。这些结论将对作战系统指控协同提供积极的理论启示和参考价值。     

任务驱动的装备保障能力建模与仿真评价

对装备保障能力评价的研究有很多,但这些研究大都是从保障系统方面对保障能力进行了评价,属于静态评价,这类研究对装备使用过程中的动态随机因素考虑不足,影响了对装备保障能力的全面考察.以任务为驱动的保障能力评价,运用离散事件建模方法和计算机建模与仿真技术建立舰炮保障能力综合仿真模型,用仿真出的使用可用度、战备完好率和备件平均...     

舰艇对潜跟踪搜索仿真实验环境设计

以舰艇对潜跟踪搜索为仿真实验环境,围绕系统的设计与实现展开研究,分析了系统需求,人在回路的仿真设计,介绍了MVC体系结构原理,描述了系统功能,实现了舰艇对潜跟踪搜索仿真实验系统,最后进行了仿真实例分析.     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

浅析我国新阶段下的“三农”问题

三农(农民、农业、农村)在中国城市化、工业化、现代化过程中具有不可逾越的地位,有着不可低估的人口影响、空间影响、素质影响和政治影响。由于受经济、产业、制度的制约,出现了农民增长缓慢、农业发展动力不足、农村剩余劳动力过多等“三农”问题。新的国际、国内发展阶段又加剧了“三农”问题,使其成为影响我国经济持续健康发展的重要因素。“三农”问题的解决需要新的思路、新的方法和新的措施,这要求我们必须从以下几方面思考:大力发展小城镇,转移农村剩余劳动力;调整产业结构,提高农产品市场竞争力;大力发展教育,增加劳动力的人力资本存量;加大对“三农”的支持力度,创造良好的发展环境。